package spec.ocl_mcg;

import graph.mcg.CGNode;
import graph.mcg.ConstraintNode;

//import org.eclipse.ocl.ecore.Variable;
public class LetExpNode extends TreeNode {
	
	private VariableNode node_variable;
	private TreeNode node_in;
	
	public LetExpNode(){}

	
	public TreeNode getNode_in() {
		return node_in;
	}


	public void setNode_in(TreeNode nodeIn) {
		node_in = nodeIn;
	}


	public VariableNode getVariable() {
		return node_variable;
	}


	public void setVariable(TreeNode variable) {
		this.node_variable = (VariableNode)variable;
	}


	@Override
	public CGNode toCG() {
		ConstraintNode cfgnode = new ConstraintNode(this);
		cfgnode.setConstraint(node_in.getExpresult());
		cfgnode.setNextnode(null);
		return cfgnode;
		// TODO Auto-generated method stub
//		return null;
	}
	
	@Override
	public String toString() {
		// TODO Auto-generated method stub
		return null;
	}

}
